Commento a Stephen Seligman
نویسندگان
چکیده
منابع مشابه
A Seligman-Style Tableau System
Proof systems for hybrid logic typically use @-operators to access information hidden behind modalities; this labeling approach lies at the heart of most resolution, natural deduction, and tableau systems for hybrid logic. But there is another, less well-known approach, which we have come to believe is conceptually clearer. We call this Seligman-style inference, as it was first introduced and e...
متن کاملStephen Hawking's Community-Bound Voice A Functional Investigation of Self-Mentions in Stephen Hawking's Scientific Prose
Thanks to the development of the concept of metadiscourse, it is now widely acknowledged that academic/scientific writing is not only concerned with communicating purely propositional meanings: what is communicated through academic/scientific communication is seen to be intertwined with the negotiation of social and interpersonal meanings. While a large number of so called metadiscoursal resour...
متن کاملCompleteness and termination for a Seligman-style tableau system
Proof systems for hybrid logic typically use @-operators to access information hidden behind modalities; this labelling approach lies at the heart of the best known hybrid resolution, natural deduction, and tableau systems. But there is another approach, which we have come to believe is conceptually clearer. We call this Seligman-style inference, as it was first introduced and explored by Jerry...
متن کاملThe Barwise-Seligman Model of Representation Systems: A Philosophical Explication
As an application of their channel theory, Barwise & Seligman sketched a set-theoretic model of representation systems. Their model has the attraction of capturing many important logical properties of diagrams, but few attempts have been made to take advantage of the model's explanatory potential by applying it to actual diagrammatic systems. We attribute this to a lack of precision in their ex...
متن کاملStephen H Bryant and Stephen F Altschul
The past two years have seen the rapid development of new recognition methods for protein structure prediction. These algorithms ’thread’ the sequence of one protein through the known structure of another, looking for an alignment that corresponds to an energetically favorable model structure. Because they are based on energy calculation, rather than evolutionary distance, these methods extend ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ricerca Psicoanalitica
سال: 2020
ISSN: 2037-7851,1827-4625
DOI: 10.4081/rp.2020.275